M. Schaerf: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reducing belief revision to circumscription (and vice versa)

Paolo Liberatore, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 2.63 MB

english, 1997

2

Nonmonotonic reasoning

F. M. Donini, M. Lenzerini, D. Nardi, F. Pirri, M. Schaerf

Journal:

Artificial Intelligence Review

Year:

1990

Language:

english

File:

PDF, 2.52 MB

english, 1990

3

Hybrid metaheuristics for constrained portfolio selection problems

Gaspero, Luca Di, Tollo, Giacomo Di, Roli, Andrea, Schaerf, Andrea

Journal:

Quantitative Finance

Year:

2011

Language:

english

File:

PDF, 659 KB

english, 2011

4

Alma-O: an imperative language that supports declarative programming

Apt, Krzysztof R., Brunekreef, Jacob, Partington, Vincent, Schaerf, Andrea

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

File:

PDF, 2.76 MB

1998

5

How to improve the useful intensity of tagged beams

A. D'Angelo, C. Schaerf

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

1987

Language:

english

File:

PDF, 104 KB

english, 1987

6

Selection against Heteroplasmy Explains the Evolution of Uniparental Inheritance of Mitochondria

Christie, Joshua R., Schaerf, Timothy M., Beekman, Madeleine, Rand, David M.

Journal:

Year:

2015

Language:

english

File:

PDF, 905 KB

english, 2015

7

Belief Revision and Update: Complexity of Model Checking

Paolo Liberatore, Marco Schaerf

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

8

An epistemic operator for description logics

F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, A. Schaerf

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 3.60 MB

english, 1998

9

LOCAL++: A C++ framework for local search algorithms

Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini

Journal:

Software: Practice and Experience

Year:

2000

Language:

english

File:

PDF, 180 KB

english, 2000

10

Appunti Storici sugli Ebrei della Lombardia

Samuele Schäerf

Journal:

La Rassegna Mensile di Israel

Year:

5687

Language:

italian

File:

PDF, 1.27 MB

italian, 5687

11

The scientific legacy of Marco Cadoli in Artificial Intelligence

Lenzerini, Maurizio, Schaerf, Marco

Journal:

Intelligenza Artificiale

Year:

2013

File:

PDF, 323 KB

2013

12

The LADON photon beam with the ESRF 5 GeV machine

L. Federici, G. Giordano, G. Matone, G. Pasquariello, P. Picozza, E. Caloi, L. Casano, M. P. De Pascale, M. Mattioli, E. Poldi, C. Schaerf, P. Pelfer, D. Prosperi, S. Frullani, B. Girolami

Journal:

Lettere Al Nuovo Cimento Series 2

Year:

1980

Language:

english

File:

PDF, 264 KB

english, 1980

13

Reasoning about reasoning in a meta-level architecture

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Journal:

Applied Intelligence

Year:

1991

Language:

english

File:

PDF, 1.06 MB

english, 1991

14

Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results

Alex Bonutti, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf

Journal:

Annals of Operations Research

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

15

The size of a revised knowledge base

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 322 KB

english, 1999

16

Tabu search techniques for the heterogeneous vehicle routing problem with time windows and carrier-dependent costs

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf

Journal:

Journal of Scheduling

Year:

2011

Language:

english

File:

PDF, 637 KB

english, 2011

17

The balanced academic curriculum problem revisited

Marco Chiarandini, Luca Di Gaspero, Stefano Gualandi, Andrea Schaerf

Journal:

Journal of Heuristics

Year:

2012

Language:

english

File:

PDF, 1.37 MB

english, 2012

18

Design, engineering, and experimental analysis of a simulated annealing approach to the post-enrolment course timetabling problem

Sara Ceschia, Luca Di Gaspero, Andrea Schaerf

Journal:

Computers & Operations Research

Year:

2012

Language:

english

File:

PDF, 231 KB

english, 2012

19

Consensus building in giant Asian honeybee, Apis dorsata, swarms on the move

Makinson, James C., Schaerf, Timothy M., Rattanawannee, Atsalek, Oldroyd, Benjamin P., Beekman, Madeleine

Journal:

Animal Behaviour

Year:

2014

Language:

english

File:

PDF, 1.67 MB

english, 2014

20

Solving Discrete Lot-Sizing and Scheduling by Simulated Annealing and Mixed Integer Programming

Ceschia, Sara, Gaspero, Luca Di, Schaerf, Andrea

Journal:

Computers & Industrial Engineering

Year:

2017

Language:

english

File:

PDF, 658 KB

english, 2017

21

NP-SPEC: an executable specification language for solving all problems in NP

Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile

Journal:

Computer Languages

Year:

2000

Language:

english

File:

PDF, 225 KB

english, 2000

22

Arbitration (or how to merge knowledge bases)

P. Liberatore, M. Schaerf

Year:

1998

Language:

english

File:

PDF, 376 KB

english, 1998

23

Collective decision making in the red dwarf honeybee Apis florea: do the bees simply follow the flowers?

Makinson, J. C., Schaerf, T. M., Wagner, N., Oldroyd, B. P., Beekman, M.

Journal:

Insectes Sociaux

Year:

2017

Language:

english

File:

PDF, 1.61 MB

english, 2017

24

Tractable reasoning via approximation

Marco Schaerf, Marco Cadoli

Journal:

Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 4.89 MB

english, 1995

25

A refined architecture for terminological systems: Terminology = Schema + Views

M. Buchheit, F.M. Donini, W. Nutt, A. Schaerf

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 3.89 MB

english, 1998

26

Reasoning with individuals in concept languages

Journal:

Data & Knowledge Engineering

Year:

1994

Language:

english

File:

PDF, 2.34 MB

english, 1994

27

Is intractability of nonmonotonic reasoning a real drawback?

Marco Cadoli, Francesco M. Donini, Marco Schaerf

Journal:

Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 2.78 MB

english, 1996

28

The Third International Timetabling Competition

G. Post, L. Gaspero, J. H. Kingston, B. Mccollum, A. Schaerf

Journal:

Annals of Operations Research

Year:

2016

Language:

english

File:

PDF, 292 KB

english, 2016

29

Neighborhood Portfolio Approach for Local Search Applied to Timetabling Problems

Luca Di Gaspero, Andrea Schaerf

Journal:

Journal of Mathematical Modelling and Algorithms in Operations Research

Year:

2006

Language:

english

File:

PDF, 490 KB

english, 2006

30

A survey of complexity results for non-monotonic logics

Marco Cadoli, Marco Schaerf

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.95 MB

english, 1993

31

On the complexity of second-best abductive explanations

Liberatore, Paolo, Schaerf, Marco

Journal:

International Journal of Approximate Reasoning

Year:

2015

Language:

english

File:

PDF, 368 KB

english, 2015

32

How does a swarm of the giant Asian honeybeeApis dorsatareach consensus? A study of the individual behaviour of scout bees

Makinson, J. C., Schaerf, T. M., Rattanawannee, A., Oldroyd, B. P., Beekman, M.

Journal:

Insectes Sociaux

Year:

2016

Language:

english

File:

PDF, 2.75 MB

english, 2016

33

Modeling and solving the steelmaking and casting scheduling problem

Armellini, Davide, Borzone, Paolo, Ceschia, Sara, Di Gaspero, Luca, Schaerf, Andrea

Journal:

International Transactions in Operational Research

Year:

2018

Language:

english

File:

PDF, 1.46 MB

english, 2018

34

Compiling problem specifications into SAT

Marco Cadoli, Andrea Schaerf

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

35

A polarized HD target factory in Europe

G. Rouille, M. Bassan, C. Commeaux, J.P. Didelez, C. Schaerf, V. Bellini, J.P. Bocquet, M. Capogni, M. Castoldi, A.D. Angelo, G. Gervino, F. Ghio, B. Girolami, M. Guidal, E. Hourany, R. Kunne, P.Levi

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2001

Language:

english

File:

PDF, 101 KB

english, 2001

36

The GRAAL high resolution BGO calorimeter and its energy calibration and monitoring system

F. Ghio, B. Girolami, M. Capogni, L. Casano, L. Ciciani, A. D'Angelo, R. Di Salvo, L. Hu, D. Moricciani, L. Nicoletti, G. Nobili, C. Schaerf, P. Levi Sandri, M. Castoldi, A. Zucchiatti, V. Bellini

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

1998

Language:

english

File:

PDF, 1.12 MB

english, 1998

37

Deuteron photo-disintegration with polarised photons in the energy range 30–50 MeV

D. Babusci, V. Bellini, M. Capogni, L. Casano, A. D'Angelo, F. Ghio, B. Girolami, D. Moricciani, C. Schaerf

Journal:

Nuclear Physics A

Year:

1998

Language:

english

File:

PDF, 501 KB

english, 1998

38

Medium energy pion beam monitoring system

R. Barbini, S. Faini, C. Guaraldo, P. Picozza, C. Schaerf, R. Scrimaglio

Journal:

Nuclear Instruments and Methods

Year:

1972

Language:

english

File:

PDF, 288 KB

english, 1972

39

Polarised and tagged gamma-ray Ladon beams

D. Babusci, V. Bellini, M. Capogni, L. Casano, A. D’Angelo, F. Gmo, B. Girolami, L. Hu, D. Moricciani, C. Schaerf

Journal:

La Rivista del Nuovo Cimento

Year:

1996

Language:

english

File:

PDF, 5.32 MB

english, 1996

40

P4-118

Schaerf, Raymond H.M.

Journal:

Year:

2006

Language:

english

File:

PDF, 61 KB

english, 2006

41

region

Bellini, V., Capogni, M., Caracappa, A., Casano, L., D’Angelo, A., Ghio, F., Girolami, B., Hoblit, S., Hu, L., Khandaker, M., Kistner, O. C., Miceli, L., Moricciani, D., Sandorfi, A. M., Schaerf, C.,

Journal:

Physical Review C

Year:

2003

Language:

english

File:

PDF, 129 KB

english, 2003

42

The effect of hunger on the exploratory behaviour of shoals of mosquitofish Gambusia holbrooki

Hansen, Matthew J., Schaerf, Timothy M., Ward, Ashley J.W.

Journal:

Year:

2015

Language:

english

File:

PDF, 1.66 MB

english, 2015

43

[IEEE 2014 IEEE/ACM Joint Conference on Digital Libraries (JCDL) - London, United Kingdom (2014.9.8-2014.9.12)] IEEE/ACM Joint Conference on Digital Libraries - The Organization information integration in the management of a Digital Library System

Di Iorio, Angela, Schaerf, Marco

Year:

2014

Language:

english

File:

PDF, 138 KB

english, 2014

44

Describing and reasoning on Web Services using Process Algebra

Salaun, Gwen, Bordeaux, Lucas, Schaerf, Marco

Journal:

International Journal of Business Process Integration and Management

Year:

2006

Language:

english

File:

PDF, 173 KB

english, 2006

45

Transcatheter aspiration of large pacemaker and implantable cardioverter-defibrillator lead vegetations facilitating safe transvenous lead extraction

Starck, Christoph T, Schaerf, Raymond H M, Breitenstein, Alexander, Najibi, Sasan, Conrad, John, Berendt, Joseph, Esmailian, Fardad, Eulert-Grehn, Jürgen, Dreizler, Thomas, Falk, Volkmar

Journal:

Year:

2019

Language:

english

File:

PDF, 570 KB

english, 2019

46

Measurement of the3He (γ, p)d total cross-section at 48.6 MeV

R. Bernabei, S. d’Angelo, M. P. De Pascale, P. Picozza, C. Schaerf, L. Casano, A. Incicchitti, D. Prosperi, M. Scafi, B. Girolami, D. Babusci

Journal:

Il Nuovo Cimento A (1971-1996)

Year:

1989

Language:

english

File:

PDF, 210 KB

english, 1989

47

Two-body photodisintegration of3He with linearly polarized gamma-rays

F. L. Fabbri, P. Picozza, C. Schaerf

Journal:

Lettere Al Nuovo Cimento Series 2

Year:

1972

Language:

english

File:

PDF, 104 KB

english, 1972

48

Nuclear fission of197Au,natPb and209Bi induced by polarized and monochromatic photons of 60 and 64 MeV

J. B. Martins, E. L. Moreira, O. A. P. Tavares, J. L. Vieira, J. D. Pinheiro Filho, R. Bernabei, S. d’Angelo, M. P. De Pascale, C. Schaerf, B. Girolami

Journal:

Il Nuovo Cimento A (1971-1996)

Year:

1989

Language:

english

File:

PDF, 305 KB

english, 1989

49

[IEEE Comput. Soc TOOLS Europe '99: Technology of Object Oriented Languages and Systems. 29th International Conference - Nancy, France (7-10 June 1999)] Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) - LOCAL++: a C++ framework for local search algorithms

Schaerf, A., Lenzerini, M., Cadoli, M.

Year:

1999

Language:

english

File:

PDF, 259 KB

english, 1999

50

Neutron Asymmetry Measurements in the Deuteron Photodisintegration between 10 and 70 MeV

Del Bianco, W., Federici, L., Giordano, G., Matone, G., Pasquariello, G., Picozza, P., Caloi, R., Casano, L., De Pascale, M. P., Ingrosso, L., Mattioli, M., Poldi, E., Schaerf, C., Pelfer, P., Prosper

Journal:

Physical Review Letters

Year:

1981

Language:

english

File:

PDF, 508 KB

english, 1981

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски